gtkwidget: Break early if non-gesture controllers handle the event

Non gesture controllers have no means to collaborate with other
controllers, thus should be considered standalone entities. It makes
no sense to propagate any further if scroll/key controllers handled
the event.

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 8bb3b57c34e2b5411fa89a66f386ce1115ca2544..24a142e1e91241b73fb647b3177e34e0dc72ff17 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -5229,6 +5229,13 @@ _gtk_widget_run_controllers (GtkWidget           *widget,
 
           if (controller_phase == phase)
             handled |= gtk_event_controller_handle_event (data->controller, event);
+
+          /* Non-gesture controllers are basically unique entities not meant
+           * to collaborate with anything else. Break early if any such event
+           * controller handled the event.
+           */
+          if (handled && !GTK_IS_GESTURE (data->controller))
+            break;
         }
 
       l = next;